1. Automated deduction in classical and non-classical logics

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Automatic theorem proving.,Logic, Symbolic and mathematical.

رده :
QA
,
76
.
9
,.
A96
,
A85
,
2000

2. Automated deduction in classical and non-classical logics : selected papers

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1761

3. Logic for computer science and artificial intelligence

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence,Computer logic

رده :
QA76
.
9
.
L63
C344
2011

4. Logic for computer science and artificial intelligence

پدیدآورنده:

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع: Computer logic,Artificial intelligence

رده :
QA
76
,.
9
.
C22L6
2011

5. classical logics :-Automated deduction in classical and non

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Automatic theorem proving. ;